1. Constraint solving over multi-valued logics :
پدیدآورنده : Francisco Azevedo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
رده :
QA76
.
612
.
A94
2003eb
2. Constraint solving over multi-valued logics :application to digital circuits. ]CD[
پدیدآورنده : Azevedo, Francisco., Francisco Azevedo
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : Mathematical models ، Integrated circuits
رده :
TK7874
.
A98
2003
3. Constraint solving over multi-valued logics: <application to digital circuits>
پدیدآورنده : / Francisco Azevedo
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Integrated circuits,-- Mathematical models
رده :
621
.
3815
A994C
2003
4. Dicionário analógico da língua portuguesa :
پدیدآورنده : Francisco Ferreira dos Santos Azevedo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Portugais (langue) -- Analogie -- Dictionnaires portugais (portugais brésilien),Portugais (Langue) -- Synonymes et antonymes -- Dictionnaires.
رده :
PC5315
.
F736
2010
